Formal methods

Results: 2204



#Item
311 40 Years of Formal Methods Reminiscences of a Beautiful Profession Dedicated to Chris W. George

1 40 Years of Formal Methods Reminiscences of a Beautiful Profession Dedicated to Chris W. George

Add to Reading List

Source URL: www.imm.dtu.dk

- Date: 2014-05-01 09:29:41
    32A Case for Combining Industrial Pragmatics with Formal Methods Eric L. McCorkle I. BACKGROUND A. Dependent Types Dependently-typed languages [9] possess a type system with

    A Case for Combining Industrial Pragmatics with Formal Methods Eric L. McCorkle I. BACKGROUND A. Dependent Types Dependently-typed languages [9] possess a type system with

    Add to Reading List

    Source URL: cybersec-prod.s3.amazonaws.com

    - Date: 2016-10-05 17:20:39
      331 40 Years of Formal Methods 8 Obstacles and 3 Possibilities ? Dedicated to Chris W. George

      1 40 Years of Formal Methods 8 Obstacles and 3 Possibilities ? Dedicated to Chris W. George

      Add to Reading List

      Source URL: www.imm.dtu.dk

      - Date: 2014-04-26 05:17:00
        34Finding Security Vulnerabilities in a Network Protocol Using Formal Verification Methods Orna Grumberg Technion, Israel Joint work with Adi Sosnovich and Gabi Nakibly

        Finding Security Vulnerabilities in a Network Protocol Using Formal Verification Methods Orna Grumberg Technion, Israel Joint work with Adi Sosnovich and Gabi Nakibly

        Add to Reading List

        Source URL: www.cs.tau.ac.il

        - Date: 2013-12-09 08:45:52
          35FASE System Description System: The Integrating Object-Oriented Design and Formal Methods?

          FASE System Description System: The Integrating Object-Oriented Design and Formal Methods?

          Add to Reading List

          Source URL: i12www.ira.uka.de

          - Date: 2007-01-08 12:13:01
            36Formal Semantics for the Java Modeling Language Daniel Bruns Karlsruhe Institute of Technology A common critique of formal methods in software development practise is, that they are not readily understandab

            Formal Semantics for the Java Modeling Language Daniel Bruns Karlsruhe Institute of Technology A common critique of formal methods in software development practise is, that they are not readily understandab

            Add to Reading List

            Source URL: formal.iti.kit.edu

            - Date: 2014-03-13 08:30:05
              37Parallel Model Checking of ω-Automata Vincent Bloemen Formal Methods and Tools, University of Twente Abstract. Specifications for non-terminating reactive systems are described by ω-regular proper

              Parallel Model Checking of ω-Automata Vincent Bloemen Formal Methods and Tools, University of Twente Abstract. Specifications for non-terminating reactive systems are described by ω-regular proper

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2016-10-03 06:41:06
                38Seventh International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE) April 3, 2016, Eindhoven, The Netherlands co-located with ETAPS 2016

                Seventh International Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE) April 3, 2016, Eindhoven, The Netherlands co-located with ETAPS 2016

                Add to Reading List

                Source URL: www.isf.cs.tu-bs.de

                - Date: 2015-11-16 17:17:21
                  39Appendix for FASE System Description System: The Integrating Object-Oriented Design and Formal Methods

                  Appendix for FASE System Description System: The Integrating Object-Oriented Design and Formal Methods

                  Add to Reading List

                  Source URL: i12www.ira.uka.de

                  - Date: 2007-01-08 12:13:02
                    40Formal Methods in System Design manuscript No. (will be inserted by the editor) A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer · Thomas Chatain · Stefan Haar

                    Formal Methods in System Design manuscript No. (will be inserted by the editor) A Concurrency-Preserving Translation from Time Petri Nets to Networks of Timed Automata Sandie Balaguer · Thomas Chatain · Stefan Haar

                    Add to Reading List

                    Source URL: www.lsv.ens-cachan.fr

                    - Date: 2012-03-07 10:57:44